Information flow

Results: 2315



#Item
21Non-Uniform Distributions in Quantitative Information-Flow Michael Backes Matthias Berg Boris Köpf

Non-Uniform Distributions in Quantitative Information-Flow Michael Backes Matthias Berg Boris Köpf

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2010-12-22 05:21:46
    22Impossibility of Precise and Sound Termination Sensitive Security Enforcements Anonymous Author(s) Abstract—An information flow policy is termination sensitive if it imposes that the termination behavior of programs is

    Impossibility of Precise and Sound Termination Sensitive Security Enforcements Anonymous Author(s) Abstract—An information flow policy is termination sensitive if it imposes that the termination behavior of programs is

    Add to Reading List

    Source URL: www-sop.inria.fr

    Language: English - Date: 2018-03-27 09:23:29
      23Verifying Information Flow Properties of Hybrid Systems Pavithra Prabhakar Boris Köpf IMDEA Software Institute

      Verifying Information Flow Properties of Hybrid Systems Pavithra Prabhakar Boris Köpf IMDEA Software Institute

      Add to Reading List

      Source URL: software.imdea.org

      Language: English - Date: 2013-03-21 11:37:26
        24Information Flow Analysis for Valued-Indexed Data Security Compartments Luísa Lourenço and Luís Caires CITI e Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa, Portugal

        Information Flow Analysis for Valued-Indexed Data Security Compartments Luísa Lourenço and Luís Caires CITI e Departamento de Informática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa, Portugal

        Add to Reading List

        Source URL: ctp.di.fct.unl.pt

        Language: English - Date: 2014-10-11 13:32:58
          25Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis XLDI 2012 Fabian Hueske, Aljoscha Krettek, Kostas Tzoumas Database Systems and Information Management Technische Universität Berlin

          Enabling Operator Reordering in Data Flow Programs Through Static Code Analysis XLDI 2012 Fabian Hueske, Aljoscha Krettek, Kostas Tzoumas Database Systems and Information Management Technische Universität Berlin

          Add to Reading List

          Source URL: workshops.inf.ed.ac.uk

          Language: English - Date: 2012-11-05 10:20:12
            26On the Foundations of Quantitative Information Flow Geoffrey Smith School of Computing and Information Sciences, Florida International University, Miami, FL 33199, USA

            On the Foundations of Quantitative Information Flow Geoffrey Smith School of Computing and Information Sciences, Florida International University, Miami, FL 33199, USA

            Add to Reading List

            Source URL: users.cis.fiu.edu

            Language: English - Date: 2009-01-29 16:17:44
              27A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor (Extended Version) Andrew Bedforda,, Stephen Chongc , Josée Desharnaisa , Elisavet Kozyrib , Nadia Tawbia a Université Laval, Québec, Canad

              A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor (Extended Version) Andrew Bedforda,, Stephen Chongc , Josée Desharnaisa , Elisavet Kozyrib , Nadia Tawbia a Université Laval, Québec, Canad

              Add to Reading List

              Source URL: www2.ift.ulaval.ca

              Language: English
                28Hybrid Information Flow Monitoring Against Web Tracking Frédéric Besson, Nataliia Bielova, and Thomas Jensen Inria Rennes, France Abstract—Motivated by the problem of stateless

                Hybrid Information Flow Monitoring Against Web Tracking Frédéric Besson, Nataliia Bielova, and Thomas Jensen Inria Rennes, France Abstract—Motivated by the problem of stateless

                Add to Reading List

                Source URL: people.rennes.inria.fr

                Language: English - Date: 2014-09-03 04:27:28
                  29Position for a Ph.D. Candidate or Postdoc in Information-Flow Security We are looking for a researcher who is interested in addressing foundational problems that will be of practical relevance or in addressing practical

                  Position for a Ph.D. Candidate or Postdoc in Information-Flow Security We are looking for a researcher who is interested in addressing foundational problems that will be of practical relevance or in addressing practical

                  Add to Reading List

                  Source URL: www.mais.informatik.tu-darmstadt.de

                  Language: English - Date: 2018-06-04 15:12:58
                    30Quantifying Information Flow Using Min-Entropy (Invited Paper) Geoffrey Smith School of Computing and Information Sciences Florida International University Miami, Florida USA

                    Quantifying Information Flow Using Min-Entropy (Invited Paper) Geoffrey Smith School of Computing and Information Sciences Florida International University Miami, Florida USA

                    Add to Reading List

                    Source URL: users.cis.fiu.edu

                    Language: English - Date: 2011-06-13 12:29:13